Formal Semantics of Time Sequence Diagrams
نویسنده
چکیده
Time Sequence Diagrams TSDs are a graphical representation employed to clarify the communication between service users and a service provider in the ISO OSI basic reference model In this paper we de ne the syntax and semantics of a textual representation for TSDs As well we provide a method for translating TSDs into this language Furthermore some extensions of TSDs are introduced that allow some special facets of an arbitrary layer to be described
منابع مشابه
Branching Time Semantics for UML 2.0 Sequence Diagrams
This paper presents formal definitions for UML Sequences Diagrams based on branching time semantics and partial orders in a denotational style. The obtained graphs are close to lattices and specify faithfully the intended behaviors rather than trace based semantics. We also define few generalized algebraic operations on graphs so that it makes it easy to provide formal definitions in a composit...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملMechanized Semantics of Uml Sequence Diagrams
UML Sequence Diagrams are widely used in software development. When putting to applications such as code generation, model simulation and other automated analysis, the formalization of UML Sequence Diagrams, especially correctness of it becomes increasingly important. This article presents the formal specification including denotational semantics and operational semantics of UML Sequence Diagra...
متن کاملDefining the Semantics of UML Class and Sequence Diagrams for Ensuring the Consistency and Executability of OO Software Specification
In order to ensure the correctness of OO Software Specification when using UML, the semantics of UML diagrams must be rigorously defined. To be rigorous, one typically resorts to formal languages for specifying UML diagrams. However, formal languages are usually heavy to learn/use and formally defined semantics of diagrams usually does not show how it is connected to the semantics of programs. ...
متن کاملA semantics of sequence diagrams
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the identification of the instances of a sequence diagram over a trace. 2002 Elsevier Science B.V. All ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995